(((if (((first\_nat 4:n)) = 0) then (Repeat (((D (0)$\cdot$) 
\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$
\\[0ex])) else (RepeatFor (first\_nat 4:n) (((D (0)$\cdot$) 
\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$)))$\cdot$) 
\\[0ex]
\\[0ex]CollapseTHEN (RepUR ``can{-}apply do{-}apply p{-}filter`` ( 0)$\cdot$))$\cdot$